ANSI ISO C Specification Language

Results: 21



#Item
21Use of formal methods in embedded software development: stakes, constraints and proposal Anthony Fernandes Pires∗† , Thomas Polacsek† , Virginie Wiels† and St´ephane Duprat∗ ∗ Atos Int´egration SAS, 6 impa

Use of formal methods in embedded software development: stakes, constraints and proposal Anthony Fernandes Pires∗† , Thomas Polacsek† , Virginie Wiels† and St´ephane Duprat∗ ∗ Atos Int´egration SAS, 6 impa

Add to Reading List

Source URL: www.erts2014.org

Language: English - Date: 2014-01-10 03:51:09